this._layout.setSmallProgressText(

        'Loading files from ' +

        (loadingFromPersistence ? persistenceName : 'dom' + (persistenceName ? ' (' + persistenceName + ')' : '')) +

        (editedUTC ? ' edited on ' + new Date(editedUTC) : '') +

        '...');

    }

​

    private _storageLoadProgress(

      totalFileCount: number,

      loadedFileCount: number,

      lastLoadedFileName: string) {

​

      this._layout.setProgressColor('green');

      this._layout.setSmallProgressText('Loading "' + lastLoadedFileName + '" ' + loadedFileCount + ' of ' + totalFileCount + '...');

      this._layout.setProgressRatio(

        BootController.initialProgress + BootController.domLoadProgressAmount +

        BootController.migrateProgressAmount * loadedFileCount / totalFileCount);

      this._fileCount = loadedFileCount;

    }

​

    private _storageLoaded(

      err: Error,

      byFullPath: { [fullPath: string]: { [property: string]: string; }; },

      domUpdater: storage.attached.UpdateStorage,

      persistenceUpdater: storage.attached.UpdateStorage) {

      if (err) {

        alert('Loading ' + err.message);

        return;

      }

​

      this._layout.setProgressColor('black');

      this._layout.setSmallProgressText(

        'Loaded ' + this._fileCount + ' files from ' +

        (this._loadingFromPersistence ? this._persistenceName : 'dom' + (this._persistenceName ? ' (' + this._persistenceName + ')' : '')) +

        (this._editedUTC ? ' edited on ' + new Date(this._editedUTC) : '') + '.');

      this._layout.setProgressRatio(

        BootController.initialProgress + BootController.domLoadProgressAmount +

      addEventListener(window, 'keydown', (evt: KeyboardEvent) => {

        if (evt.keyCode === 83 && evt.ctrlKey) {

          saveCurrentHtmlAsIs();

          if (evt.preventDefault) evt.preventDefault();

          if ('cancelBubble' in evt) evt.cancelBubble = true;

        }

      });

    }

​

    private _getUniqueKey() {

      var key = window.location.pathname;

​

      key = key.split('?')[0];

      key = key.split('#')[0];

​

      key = key.toLowerCase();

​

      var ignoreSuffix = '/index.html';

​

      if (key.length > ignoreSuffix.length && key.slice(key.length - ignoreSuffix.length) === ignoreSuffix)

        key = key.slice(0, key.length - ignoreSuffix.length);

​

      key += '*';

​

      return key;

    }

​

  }

​

}